Contrary to time conditionals in Talmudic logic

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Completeness and decidability results for a logic of contrary-to-duty conditionals

This article has two parts. In Part I, we briefly outline the analysis of ‘contrary-to-duty’ obligation sentences presented in our 2002 handbook chapter ‘Deontic logic and contrary-to-duties’, with a focus on the intuitions that motivated the basic formal-logical moves we made. We also explain that the present account of the theory differs in two significant respects from the earlier version, o...

متن کامل

The Logic of Conditionals

The standard use of the propositional calculus ('P.C.') in analyzing the validity of inferences involving conditionals leads to fallacies, and the problem is to determine where P.C. may be 'safely' used. An alternative analysis of criteria of reasonableness of inferences in terms of conditions of justification rather than truth of statements is proposed. It is argued, under certain restrictions...

متن کامل

Future determination of entities in Talmudic public announcement logic

Article history: Received 8 May 2012 Accepted 25 May 2012 Available online xxxx

متن کامل

A Paraconsistent Logic for Contrary-to-Duty Imperatives

Contrart-to-duty imperatives are those which tell us what we ought to do if we violate some of our obligations. In this work, we give an inconsistencyfriendly framework for contrary-to-duty imperatives and introduce three semantics for it: static, dynamic and topological. The static semantics uses the standard modal paraconsistent approach whereas the dynamic semantics views violations as dynam...

متن کامل

Counterfactual Conditionals in Quantified Modal Logic

We present a novel formalization of counterfactual conditionals in a quantified modal logic. Counterfactual conditionals play a vital role in ethical and moral reasoning. Prior work has shown that moral reasoning systems (and more generally, theory-of-mind reasoning systems) should be at least as expressive as first-order (quantified) modal logic (QML) to be well-behaved. While existing work on...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Artificial Intelligence and Law

سال: 2012

ISSN: 0924-8463,1572-8382

DOI: 10.1007/s10506-012-9123-x